Minimization of DFA by state partition method